1. ......................
پدیدآورنده : Uspenskii, Vladimir Andreevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions
رده :
Q
111
.
A3
no
.
1317
2. .....................
پدیدآورنده : Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
3. .....................
پدیدآورنده : Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursive functions,، Turing machines
رده :
QA
248
.
5
.
J66
4.
پدیدآورنده : [by] R. L. Goodstein
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)
موضوع : Recursive functions
رده :
QA
248
.
5
.
G6A5
5. A Compendium of Continuous Lattices
پدیدآورنده : by Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Mathematics.
رده :
QA171
.
5
B944
1980
6. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
7. A course in mathematical logic for mathematicians
پدیدآورنده : Yu. I. Manin ; chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Logic, Symbolic and mathematical,Einfeuhrung., swd,Mathematische Logik., swd
رده :
511
,.
3
,.
M296
,
2010
8. A course in mathematical logic for mathematicians
پدیدآورنده : / Yu. I. Manin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M29613
2010
9. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
10. A novel approach for generating two-variable very strict Hurwitz polynomials with applications in the design of stable two-dimensional recursive digital filters
پدیدآورنده : M. A. Abiri
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Applied sciences,Digital filters,Electrical engineering,Hurwitz polynomials
11. A recursive introduction to the theory of computation
پدیدآورنده : Smith, Carl H., 0591-
کتابخانه: (طهران)
موضوع : ، Computer programming,Data processing ، Recursive functions
رده :
QA
76
.
6
.
S52
12. A systems approach to lithium-ion battery management
پدیدآورنده : Phillip Weicker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Battery chargers.,Lithium ion batteries.,Power electronics.,Battery chargers.,Lithium ion batteries.,Power electronics.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK2945
.
L58
W45
2014eb
13. Active contours :
پدیدآورنده : Andrew Blake
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
TA1634
.
A537
2012
14. Adaptive modelling, estimation and fusion from data :
پدیدآورنده : Chris Harris
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
87
C475
2013
15. Advanced R
پدیدآورنده : Hadley Wickham.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
16. Advances in Communications Vol. I of a Selection of Papers from Info II, the Second International Conference on Information Sciences and Systems, University of Patras, Greece, J.
پدیدآورنده : Lainiotis, D.G.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
17. Advances in Stochastic Modelling and Data Analysis
پدیدآورنده : edited by Jacques Janssen, Christos H. Skiadas, Constantin Zopounidis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Distribution (Probability theory),Mathematics.
رده :
HB135
.
E358
1995
18. Advances in logic based intelligent systems :
پدیدآورنده : edited by Kazumi Nakamatsu and Jair Minoro Abe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
19. Advances in safety, reliability and risk management :
پدیدآورنده : editors, Christophe Bérenguer & Antoine Grall, C. Guedes Soares.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Industrial safety -- Management -- Congresses.,Reliability (Engineering) -- Congresses.,System safety -- Congresses.
رده :
TS173
.
E358
2012
